A systematic study on explicit-state non-zenoness checking for timed automata

Zeno runs, where infinitely many actions occur within finite time, may arise in Timed Automata models. Zeno runs are not feasible in reality and must be pruned during system verification. Thus it is necessary to check whether a run is Zeno or not so as to avoid presenting Zeno runs as counterexamples during model checking. Existing approaches on non-Zenoness checking include either introducing an additional clock in the Timed Automata models or additional accepting states in the zone graphs. In addition, there are approaches proposed for alternative timed modeling languages, which could be generalized to Timed Automata. In this work, we investigate the problem of non-Zenoness checking in the context of model checking LTL properties, not only evaluating and comparing existing approaches but also proposing a new method. To have a systematic evaluation, we develop a software toolkit to support multiple non-Zenoness checking algorithms. The experimental results show the effectiveness of our newly proposed algorithm, and demonstrate the strengths and weaknesses of different approaches.No Full Tex

Associations between Healthy Lifestyle and All-Cause Mortality in Individuals with Metabolic Associated Fatty Liver Disease

Background and Aims: There is limited evidence about the association of healthy lifestyle and all-cause mortality in individuals with metabolic associated fatty liver disease (MAFLD). We aimed to examine this association and compare it with the association in those without MAFLD. Methods: A prospective cohort study was performed and linked mortality data through 2019 in the National Health Nutrition Examination Survey (NHANES 1999–2010). A healthy lifestyle score was constructed from cigarette smoking, alcohol drinking, healthy eating score, and leisure-time physical activity. Risk stratification was conducted in participants with MAFLD by fibrosis biomarkers and liver enzymes. Survey-weight adjusted Cox regression was used to estimate adjusted hazard ratios (HRs) and confidence intervals (CIs) for all-cause mortality associated with healthy lifestyle. Results: There was a protective association between healthy lifestyle and all-cause mortality in participants with MAFLD (HR per 1-unit increase of healthy lifestyle score 0.77 [95% CI 0.69–0.85]), with no difference from the association in participants without MAFLD (HR 0.77 [0.72–0.82]). In participants with MAFLD, the associations tended to be stronger in those with lower risk of advanced fibrosis (HR per 1-unit increase of healthy lifestyle score 0.64 [0.50–0.79] for low NAFLD fibrosis score [NFS] and 0.84 [0.75–0.93] for high NFS, p-value for interaction 0.02), but did not differ by liver enzymes. The results for non-alcoholic fatty liver disease (NAFLD) mirrored those for MAFLD. Conclusions: Healthy lifestyle showed protective associations with all-cause mortality regardless of MAFLD status, and the associations tended to be stronger in those with lower risk of advanced fibrosis. Timely lifestyle modification matters for individuals with MAFLD

Dihydromyricetin Acts as a Potential Redox Balance Mediator in Cancer Chemoprevention

Dihydromyricetin (DHM) is a flavonoid extracted from the leaves and stems of the edible plant Ampelopsis grossedentata that has been used for Chinese Traditional Medicine. It has attracted considerable attention from consumers due to its beneficial properties including anticancer, antioxidative, and anti-inflammatory activities. Continuous oxidative stress caused by intracellular redox imbalance can lead to chronic inflammation, which is intimately associated with the initiation, promotion, and progression of cancer. DHM is considered a potential redox regulator for chronic disease prevention, and its biological activities are abundantly evaluated by using diverse cell and animal models. However, clinical investigations are still scanty. This review summarizes the current potential chemopreventive effects of DHM, including its properties such as anticancer, antioxidative, and anti-inflammatory activities, and further discusses the underlying molecular mechanisms of DHM in cancer chemoprevention by targeting redox balance and influencing the gut microbiota

Healthy lifestyle, DNA methylation age acceleration, and incident risk of coronary heart disease

Abstract Background DNA methylation clocks emerged as a tool to determine biological aging and have been related to mortality and age-related diseases. Little is known about the association of DNA methylation age (DNAm age) with coronary heart disease (CHD), especially in the Asian population. Results Methylation level of baseline blood leukocyte DNA was measured by Infinium Methylation EPIC BeadChip for 491 incident CHD cases and 489 controls in the prospective China Kadoorie Biobank. We calculated the methylation age using a prediction model developed among Chinese. The correlation between chronological age and DNAm age was 0.90. DNA methylation age acceleration (Δage) was defined as the residual of regressing DNA methylation age on the chronological age. After adjustment for multiple risk factors of CHD and cell type proportion, compared with participants in the bottom quartile of Δage, the OR (95% CI) for CHD was 1.84 (1.17, 2.89) for participants in the top quartile. One SD increment in Δage was associated with 30% increased risk of CHD (OR = 1.30; 95% CI 1.09, 1.56; Ptrend = 0.003). The average number of cigarette equivalents consumed per day and waist-to-hip ratio were positively associated with Δage; red meat consumption was negatively associated with Δage, characterized by accelerated aging in those who never or rarely consumed red meat (all P < 0.05). Further mediation analysis revealed that 10%, 5% and 18% of the CHD risk related to smoking, waist-to-hip ratio and never or rarely red meat consumption was mediated through methylation aging, respectively (all P for mediation effect < 0.05). Conclusions We first identified the association between DNAm age acceleration and incident CHD in the Asian population, and provided evidence that unfavorable lifestyle-induced epigenetic aging may play an important part in the underlying pathway to CHD

CEPC Technical Design Report -- Accelerator

International audienceThe Circular Electron Positron Collider (CEPC) is a large scientific project initiated and hosted by China, fostered through extensive collaboration with international partners. The complex comprises four accelerators: a 30 GeV Linac, a 1.1 GeV Damping Ring, a Booster capable of achieving energies up to 180 GeV, and a Collider operating at varying energy modes (Z, W, H, and ttbar). The Linac and Damping Ring are situated on the surface, while the Booster and Collider are housed in a 100 km circumference underground tunnel, strategically accommodating future expansion with provisions for a Super Proton Proton Collider (SPPC). The CEPC primarily serves as a Higgs factory. In its baseline design with synchrotron radiation (SR) power of 30 MW per beam, it can achieve a luminosity of 5e34 /cm^2/s^1, resulting in an integrated luminosity of 13 /ab for two interaction points over a decade, producing 2.6 million Higgs bosons. Increasing the SR power to 50 MW per beam expands the CEPC's capability to generate 4.3 million Higgs bosons, facilitating precise measurements of Higgs coupling at sub-percent levels, exceeding the precision expected from the HL-LHC by an order of magnitude. This Technical Design Report (TDR) follows the Preliminary Conceptual Design Report (Pre-CDR, 2015) and the Conceptual Design Report (CDR, 2018), comprehensively detailing the machine's layout and performance, physical design and analysis, technical systems design, R&D and prototyping efforts, and associated civil engineering aspects. Additionally, it includes a cost estimate and a preliminary construction timeline, establishing a framework for forthcoming engineering design phase and site selection procedures. Construction is anticipated to begin around 2027-2028, pending government approval, with an estimated duration of 8 years. The commencement of experiments could potentially initiate in the mid-2030s